41. Processor design :
پدیدآورنده : edited by Jari Nurmi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application-specific integrated circuits.,Field programmable gate arrays.,Systems on a chip.,Application-specific integrated circuits.,Field programmable gate arrays.,Ingénierie.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
P76
2007eb
42. Radiation effects on embedded systems /
پدیدآورنده : edited by Raoul Velazco, Pascal Fouillat and Ricardo Reis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems.,Integrated circuits-- Effect of radiation on.,Embedded computer systems.,Ingénierie.,Integrated circuits-- Effect of radiation on.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
R33
2007eb
43. Reactive design patterns /
پدیدآورنده : Roland Kuhn, with Brian Hanafee and Jamie Allen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Business-- Data processing.,Computer architecture.,Computer software-- Development.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Real-time data processing.,System design.,Application software-- Development.,Business-- Data processing.,Computer architecture.,Computer software-- Development.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Real-time data processing.,System design.
رده :
QA76
.
9
.
S88
44. Real-time embedded components and systems with Linux and RTOS
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linux
رده :
TK7895
.
E42
S54
2016
45. Recent developments in intelligent computing, communication and devices :
پدیدآورنده : Srikanta Patnaik, Vipul Jain, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Communications engineering-- telecommunications.,COMPUTERS-- Intelligence (AI) & Semantics.,Data mining.
رده :
Q334
46. Reliability, Quality and Safety of Software-Intensive Systems :
پدیدآورنده : Dimitris Gritzalis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
R44
D565
1997
47. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
48. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
49. Safecomp '97 :
پدیدآورنده : Peter Daniel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : varnost
50. Software Quality :
پدیدآورنده : edited by Martin Wieczorek, Dirk Meyerhoff.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information systems.,Software engineering.
رده :
QA76
.
76
.
Q35
E358
2001
51. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.
52. Software evolution with UML and XML /
پدیدآورنده : Hongji Yang, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development.,UML (Computer science),XML (Document markup language),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,UML (Computer science),UML (Computer science),XML (Document markup language),XML (Document markup language)
رده :
QA76
.
76
.
D47
S6615
2005eb
53. Software evolution with UML and XML
پدیدآورنده : Hongji Yang, ]editor[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Model-driven software architecture,، UML )Computer science(,، XML )Document markup language(
رده :
QA
76
.
76
.
D47
S6615
2005
54. Software evolution with UML and XML
پدیدآورنده : / Hongji Yang, [editor]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Model-driven software architecture,UML (Computer science),XML (Document markup language)
رده :
QA76
.
76
.
D47
,
S6615
2005
55. Software evolution with UML and XML
پدیدآورنده : Hongji Yang, ]editor[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Model-driven software architecture,، UML )Computer science(,، XML )Document markup language(
رده :
QA
76
.
76
.
D47
S6615
56. Software test attacks to break mobile and embedded devices
پدیدآورنده : Jon Duncan Hagar
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems-- Security measures,Mobile computing-- Security measures,Penetration testing (Computer security)
رده :
QA76
.
9
.
A25
H343
2014
57. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
58. Testing Complex and Embedded Systems
پدیدآورنده : / Pries, Kim H.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
59. Testing embedded software
پدیدآورنده : / Bart Broekman and Edwin Notenboom
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Embedded computer systems , Testing,Computer software , Testing
رده :
E-BOOK
60. Testing embedded software
پدیدآورنده : Broekman, Bart
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Testing ، Embedded computer systems,Testing ، Computer software
رده :
TK
7895
.
E42
B76
